21. An introduction to mathematical reasoning
Author: Boris Iglewicz, Judith Stoyle
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
Classification :
QA
9
.
I36I5
22. An introduction to mathematical thought
Author: / by E. R. Stabler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Philosophy,Logic, Symbolic and mathematical
Classification :
QA
9
.
S67
1953
23. An introduction to mathematical thought
Author: / by E. R. Stabler
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Logic - Symbolic and mathematical
Classification :
510
.
1
St-I
24. An invitation to applied category theory :
Author: Brendan Fong, David I. Spivak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
25. An invitation to applied category theory
Author: Brendan Fong, David I. Spivak.,Fong, Brendan,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F66
2019
26. An invitation to applied category theory
Author: /Brendan Fong (Massachusetts Institute of Technology), David I. Spivak (Massachusetts Institute of Technology).,Fong, Brendan
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
Classification :
QA9
.
25
.
F6
2019
27. An invitation to applied category theory :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
28. Applications of Hyperstructure Theory
Author: by Piergiulio Corsini, Violeta Leoreanu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
29. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
30. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
31. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
32. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
33. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
34. Basic Concepts of Synthetic Differential Geometry
Author: by René Lavendhomme.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
35. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
510
Ge-B
36. Basic concepts of mathematics and logic
Author: / (by) Michael C. Gemignani
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
37. Basic concepts of mathematics and logic
Author: / Michael C. Gemignani
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Mathematics,Logic, symbolic and mathematical
Classification :
QA39
.
G38
38. Basice concepts of mathematics and logic
Author: Gemignani,Michel C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
39
.
G38
39. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
Author: Garciadiego Dantan, Alejandro Ricardo.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G2413
1992
40. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
Author: Alejandro R. Garciadiego
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
Classification :
QA
9
.
G29
